Robust feedback control of Rayleigh-Bénard convection

We investigate the application of linear-quadratic-Gaussian (LQG) feedback control, or, in modern terms, H2 control, to the stabilization of the no-motion state against the onset of Rayleigh-Bénard convection in an infinite layer of Boussinesq fluid. We use two sensing and actuating methods: The planar sensor model (Tang & Bau 1993, 1994), and the shadowgraph model (Howle 1997a). By extending the planar sensor model to the multi-sensor case, it is shown that a LQG controller is capable of stabilizing the no-motion state up to 14.5 times the critical Rayleigh number. We characterize the robustness of the controller with respect to parameter uncertainties, unmodelled dynamics. Results indicate that the LQG controller provides robust performances even at high Rayleigh numbers

Universally Composable Quantum Multi-Party Computation

The Universal Composability model (UC) by Canetti (FOCS 2001) allows for secure composition of arbitrary protocols. We present a quantum version of the UC model which enjoys the same compositionality guarantees. We prove that in this model statistically secure oblivious transfer protocols can be constructed from commitments. Furthermore, we show that every statistically classically UC secure protocol is also statistically quantum UC secure. Such implications are not known for other quantum security definitions. As a corollary, we get that quantum UC secure protocols for general multi-party computation can be constructed from commitments

Dynamics of the Tippe Top via Routhian Reduction

We consider a tippe top modeled as an eccentric sphere, spinning on a horizontal table and subject to a sliding friction. Ignoring translational effects, we show that the system is reducible using a Routhian reduction technique. The reduced system is a two dimensional system of second order differential equations, that allows an elegant and compact way to retrieve the classification of tippe tops in six groups as proposed in [1] according to the existence and stability type of the steady states.Comment: 16 pages, 7 figures, added reference. Typos corrected and a forgotten term in de linearized system is adde

Reduced order models for control of fluids using the Eigensystem Realization Algorithm

In feedback flow control, one of the challenges is to develop mathematical models that describe the fluid physics relevant to the task at hand, while neglecting irrelevant details of the flow in order to remain computationally tractable. A number of techniques are presently used to develop such reduced-order models, such as proper orthogonal decomposition (POD), and approximate snapshot-based balanced truncation, also known as balanced POD. Each method has its strengths and weaknesses: for instance, POD models can behave unpredictably and perform poorly, but they can be computed directly from experimental data; approximate balanced truncation often produces vastly superior models to POD, but requires data from adjoint simulations, and thus cannot be applied to experimental data. In this paper, we show that using the Eigensystem Realization Algorithm (ERA) \citep{JuPa-85}, one can theoretically obtain exactly the same reduced order models as by balanced POD. Moreover, the models can be obtained directly from experimental data, without the use of adjoint information. The algorithm can also substantially improve computational efficiency when forming reduced-order models from simulation data. If adjoint information is available, then balanced POD has some advantages over ERA: for instance, it produces modes that are useful for multiple purposes, and the method has been generalized to unstable systems. We also present a modified ERA procedure that produces modes without adjoint information, but for this procedure, the resulting models are not balanced, and do not perform as well in examples. We present a detailed comparison of the methods, and illustrate them on an example of the flow past an inclined flat plate at a low Reynolds number.Comment: 22 pages, 7 figure

TrustedPals: Secure Multiparty Computation Implemented with Smart Cards

We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, an efficient smart card based implementation of SMC for any number of participating entities in such a model. Security modules can be trusted by other processes and can establish secure channels between each other. However, their availability is restricted by their host, that is, a corrupted party can stop the computation of its own security module as well as drop any message sent by or to its security module. We show that in this model SMC can be implemented by reducing it to a fault-tolerance problem at the level of security modules. Since the critical part of the computation can be executed locally on the smart card, we can compute any function securely with a protocol complexity which is polynomial only in the number of processes (that is, the complexity does not depend on the function which is computed), in contrast to previous approaches

Phase Dynamics of Nearly Stationary Patterns in Activator-Inhibitor Systems

The slow dynamics of nearly stationary patterns in a FitzHugh-Nagumo model are studied using a phase dynamics approach. A Cross-Newell phase equation describing slow and weak modulations of periodic stationary solutions is derived. The derivation applies to the bistable, excitable, and the Turing unstable regimes. In the bistable case stability thresholds are obtained for the Eckhaus and the zigzag instabilities and for the transition to traveling waves. Neutral stability curves demonstrate the destabilization of stationary planar patterns at low wavenumbers to zigzag and traveling modes. Numerical solutions of the model system support the theoretical findings

Ozanimod in relapsing multiple sclerosis : Pooled safety results from the clinical development program

Background: Ozanimod, an oral sphingosine 1-phosphate receptor 1 and 5 modulator, is approved in multiple countries for the treatment of relapsing multiple sclerosis (RMS). In phase 3 trials, ozanimod was well tolerated and superior to interferon beta-1a 30 µg once-weekly in reducing clinical and radiologic disease activity. The objective of this integrated safety analysis was to evaluate the safety of extended ozanimod exposure in participants with RMS from all clinical trials and compare it with phase 3 trial data. Methods: We report pooled incidence and study duration‒adjusted incidence rates (IR) of treatment-emergent adverse events (TEAEs) from an interim data cut (January 31, 2019) of RMS participants treated with ozanimod. Data were pooled from a phase 1 pharmacokinetic/pharmacodynamic trial, a placebo-controlled phase 2 trial with dose-blinded extension, 2 large active-controlled phase 3 trials, and an open-label extension (OLE). Results were compared with pooled phase 3 trial data. Results: At the data cutoff, 2631 RMS participants had exposure to ozanimod 0.92 mg (mean 32.0 months) and 2787 had exposure to either ozanimod 0.46 or 0.92 mg (mean 37.1 months). The IRs per 1000 person-years (PY) for any TEAE (772.2) and serious TEAEs (33.2) in the overall population were similar to those in the phase 3 population (896.1 and 31.2, respectively). There were no serious opportunistic infections. There were no second-degree or higher atrioventricular blocks on electrocardiogram. Hepatic enzyme elevations declined over time. Malignancy rates remained low with longer exposure. Pulmonary function tests showed minimal reductions in lung function. Seven ozanimod-treated participants with comorbid risk factors had confirmed macular edema, including 3 in the ongoing OLE. Conclusions: Safety results in this larger RMS population with greater ozanimod exposure demonstrated no new safety concerns and were consistent with phase 3 trial results

Long-term safety and efficacy of ozanimod in relapsing multiple sclerosis : Up to 5 years of follow-up in the DAYBREAK open-label extension trial

Background: Ozanimod, an oral sphingosine 1-phosphate receptor 1 and 5 modulator, is approved in multiple countries for treatment of relapsing forms of MS. Objective: To characterize long-term safety and efficacy of ozanimod. Methods: Patients with relapsing MS who completed a phase 1‒3 ozanimod trial were eligible for an open-label extension study (DAYBREAK) of ozanimod 0.92 mg/d. DAYBREAK began 16 October 2015; cutoff for this interim analysis was 2 February 2021. Results: This analysis included 2494 participants with mean 46.8 (SD 11.9; range 0.033‒62.7) months of ozanimod exposure in DAYBREAK. During DAYBREAK, 2143 patients (85.9%) had treatment-emergent adverse events (TEAEs; similar in nature to those in the parent trials), 298 (11.9%) had a serious TEAE, and 75 (3.0%) discontinued treatment due to TEAEs. Serious infections (2.8%), herpes zoster infections (1.7%), confirmed macular edema cases (0.2%), and cardiac TEAEs (2.8%) were infrequent. Adjusted annualized relapse rate was 0.103 (95% confidence interval, 0.086‒0.123). Over 48 months, 71% of patients remained relapse free. Adjusted mean numbers of new/enlarging T2 lesions/scan and gadolinium-enhancing lesions were low and similar across parent trial treatment subgroups. Conclusions: This long-term extension of ozanimod trials confirmed a favorable safety/tolerability profile and sustained benefit on clinical and magnetic resonance imaging measures of disease activity